Presketches: Algebra without algebras via categories without functors Vaughan Pratt Stanford University April 2010 Abstract

Source URL: boole.stanford.edu

• Mathematics
• Category theory
• Algebra
• Functors
• Sheaf theory
• Adjoint functors
• Topos
• Topos theory
• Equivalence of categories
• Sheaf
• Natural transformation
• Subcategory

Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions Kazutaka Matsuda* Zhenjiang Hu*, Keisuke Nakano* Makoto Hamana**, Masato Takeichi*

Source URL: www2.sf.ecei.tohoku.ac.jp

• Lambda calculus
• Bidirectionalization
• Database theory
• Joint Electronics Type Designation System
• Combinatory logic
• Computing
• Military
• Electronics

¨ ON MODULAR FUNCTORS AND THE IDEAL TEICHMULLER TOWER PO HU AND IGOR KRIZ 1. Introduction

Source URL: www.math.lsa.umich.edu

• Algebra
• Mathematics
• Abstract algebra
• Category theory
• Functor
• Sheaf
• Universal property
• Natural transformation
• Moduli space
• Pair of pants
• Groupoid
• Equivalence of categories

Iterative Development of Transformation Models by Using Classifying Terms (short paper) Frank Hilken1 Loli Burgueño2

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Engineering
• Systems science
• Software engineering
• Model transformation
• Model theory
• Metamodeling
• Object Process Methodology
• Scientific modelling

MEMBERSHIP OF A ∨ G FOR CLASSES OF FINITE WEAKLY ABUNDANT SEMIGROUPS JOHN FOUNTAIN, GRACINDA GOMES, AND VICTORIA GOULD Abstract. We consider the question of membership of A ∨ G, where A and G are the pseudovarieties

Source URL: www-users.york.ac.uk

• Algebra
• Semigroup theory
• Mathematics
• Algebraic structures
• Semigroup
• Inverse semigroup
• Regular semigroup
• Orthodox semigroup
• Inverse element
• Transformation semigroup
• Nambooripad order
• Null semigroup

MODEL-THEORETIC PROPERTIES OF FREE, PROJECTIVE AND FLAT S-ACTS VICTORIA GOULD, ALEXANDER MIKHALEV, EVGENY PALYUTIN, AND ALENA STEPANOVA Abstract. This is the second in a series of articles surveying the body of work on t

Source URL: www-users.york.ac.uk

• Algebra
• Abstract algebra
• Mathematics
• Semigroup theory
• Monoid
• Semigroup action
• Semigroup
• Symbol
• Transformation semigroup
• Semiautomaton
• Filter
• Representation theory

The Hubbard-Stratonovich Transformation When is mean field theory exact? In mean field theory the fluctuations of the total interaction with the neighboring spins is ignored compared with the mean. This is good if there

Source URL: www.mcc.caltech.edu

Schur Transformation, General Case P Schur basis is NOT UNIQUE. But, sum of squares of FF weights = Tr WW† − i |λi |2 is a unitary invariant. One natural scalar measure is this, or this over Tr WW† , or squareroot

Source URL: www.neurotheory.columbia.edu

• Algebra
• Mathematics
• Spectral theory
• Matrix theory
• Linear algebra
• Eigenvalues and eigenvectors
• Singular value decomposition
• Spectrum

J. Aust. Math. Soc), 355–377 doi:S1446788708000542 PARTIAL ACTIONS OF INVERSE AND WEAKLY LEFT E-AMPLE SEMIGROUPS VICTORIA GOULD and CHRISTOPHER HOLLINGS ˛

Source URL: www-users.york.ac.uk

• Semigroup theory
• Algebraic structures
• Inverse semigroup
• Transformation semigroup
• Semigroup
• Inverse element
• Monoid
• Regular semigroup
• Nambooripad order
• Semigroup with involution
• Special classes of semigroups

A CPS-like Transformation of Continuation Marks Kimball R. Germane A thesis submitted to the faculty of Brigham Young University

Source URL: jeapostrophe.github.io

• Control flow
• Subroutines
• Computability theory
• Theoretical computer science
• Functional programming
• Continuation-passing style
• Lambda calculus
• Continuation
• Direct style
• Eval
• Stack
• Static single assignment form